(third_composition rules: 1